projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7e5aee) | patch
Config.mk: update mini-os revision
authorWei Liu <wei.liu2@citrix.com>
Wed, 4 May 2016 09:37:59 +0000 (10:37 +0100)
committerWei Liu <wei.liu2@citrix.com>
Wed, 4 May 2016 10:57:31 +0000 (11:57 +0100)
commit68a003ef433fa1e1dad4dbeee33c05ef82a195d5
treeb4d30be5d3a7e73d898fa97b04c8893ddbbed571tree | snapshot
parentb7e5aee0a36487d6205c1633add25fd430d3b6d7commit | diff
Config.mk: update mini-os revision

This is only one commit:
    build: change MINI-OS_ROOT to MINIOS_ROOT

This change is required to fix stubdom build on Ubuntu 16.04.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
Config.mk diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.